isrcvl($l$;$k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$isrcv($k$) $\wedge_{b}$ lnk($k$) = $l$